[next] [prev] [prev-tail] [tail] [up]

2.2.6 Integrals 501 to 600

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

308 308 263 995 0 514 0 0 -1

N.S.

1 1.00 0.85 3.23 0.00 1.67 0.00 0.00 -0.00

time (sec)

N/A 0.344 1.442 0.235 0.000 0.198 0.000 0.000 0.000

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

249 249 214 827 0 474 0 0 -1

N.S.

1 1.00 0.86 3.32 0.00 1.90 0.00 0.00 -0.00

time (sec)

N/A 0.239 0.921 0.218 0.000 0.179 0.000 0.000 0.000

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 177 662 0 437 0 0 -1

N.S.

1 1.00 0.90 3.36 0.00 2.22 0.00 0.00 -0.01

time (sec)

N/A 0.178 0.805 0.000 0.000 0.155 0.000 0.000 0.000

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

222 222 379 528 0 0 0 0 -1

N.S.

1 1.00 1.71 2.38 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.376 11.807 0.207 0.000 0.000 0.000 0.000 0.000

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

222 222 390 960 0 0 0 0 -1

N.S.

1 1.00 1.76 4.32 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.392 12.233 0.255 0.000 0.000 0.000 0.000 0.000

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

270 270 395 1134 0 0 0 0 -1

N.S.

1 1.00 1.46 4.20 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.577 12.680 0.289 0.000 0.000 0.000 0.000 0.000

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

323 323 434 1742 0 0 0 0 -1

N.S.

1 1.00 1.34 5.39 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.762 14.197 0.360 0.000 0.000 0.000 0.000 0.000

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

246 246 211 824 0 474 0 0 -1

N.S.

1 1.00 0.86 3.35 0.00 1.93 0.00 0.00 -0.00

time (sec)

N/A 0.254 1.144 0.207 0.000 0.153 0.000 0.000 0.000

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 92 275 0 148 0 0 -1

N.S.

1 1.00 0.67 1.99 0.00 1.07 0.00 0.00 -0.01

time (sec)

N/A 0.123 0.264 0.212 0.000 0.117 0.000 0.000 0.000

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 81 253 0 138 0 0 -1

N.S.

1 1.00 0.77 2.41 0.00 1.31 0.00 0.00 -0.01

time (sec)

N/A 0.094 0.152 0.160 0.000 0.122 0.000 0.000 0.000

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 69 231 0 128 0 0 -1

N.S.

1 1.00 0.88 2.96 0.00 1.64 0.00 0.00 -0.01

time (sec)

N/A 0.056 0.067 0.153 0.000 0.104 0.000 0.000 0.000

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 137 0 108 0 0 -1

N.S.

1 1.00 1.00 5.96 0.00 4.70 0.00 0.00 -0.04

time (sec)

N/A 0.008 0.030 0.298 0.000 0.105 0.000 0.000 0.000

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 41 158 0 0 0 0 -1

N.S.

1 1.00 0.85 3.29 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.057 0.059 0.159 0.000 0.000 0.000 0.000 0.000

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 157 350 0 0 0 0 -1

N.S.

1 1.00 1.65 3.68 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.165 11.194 0.218 0.000 0.000 0.000 0.000 0.000

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 194 408 0 0 0 0 -1

N.S.

1 1.00 1.44 3.02 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.239 11.368 0.242 0.000 0.000 0.000 0.000 0.000

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 114 276 0 148 0 0 -1

N.S.

1 1.00 0.81 1.97 0.00 1.06 0.00 0.00 -0.01

time (sec)

N/A 0.127 0.225 0.223 0.000 0.115 0.000 0.000 0.000

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 104 253 0 138 0 0 -1

N.S.

1 1.00 0.97 2.36 0.00 1.29 0.00 0.00 -0.01

time (sec)

N/A 0.095 0.225 0.163 0.000 0.115 0.000 0.000 0.000

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 94 231 0 128 0 0 -1

N.S.

1 1.00 1.18 2.89 0.00 1.60 0.00 0.00 -0.01

time (sec)

N/A 0.059 0.107 0.158 0.000 0.120 0.000 0.000 0.000

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 44 138 0 106 0 0 -1

N.S.

1 1.00 1.83 5.75 0.00 4.42 0.00 0.00 -0.04

time (sec)

N/A 0.009 0.040 0.277 0.000 0.107 0.000 0.000 0.000

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 61 159 0 0 0 0 -1

N.S.

1 1.00 1.22 3.18 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.060 0.073 0.187 0.000 0.000 0.000 0.000 0.000

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 178 351 0 0 0 0 -1

N.S.

1 1.00 1.82 3.58 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.172 11.561 0.226 0.000 0.000 0.000 0.000 0.000

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 237 408 0 0 0 0 -1

N.S.

1 1.00 1.72 2.96 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.244 12.016 0.269 0.000 0.000 0.000 0.000 0.000

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

215 215 182 665 0 439 0 0 -1

N.S.

1 1.00 0.85 3.09 0.00 2.04 0.00 0.00 -0.00

time (sec)

N/A 0.196 1.013 0.219 0.000 0.154 0.000 0.000 0.000

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

165 165 137 453 0 398 0 0 116

N.S.

1 1.00 0.83 2.75 0.00 2.41 0.00 0.00 0.70

time (sec)

N/A 0.136 0.657 0.209 0.000 0.129 0.000 0.000 0.564

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 86 220 0 355 0 0 80

N.S.

1 1.00 0.70 1.80 0.00 2.91 0.00 0.00 0.66

time (sec)

N/A 0.088 2.545 0.221 0.000 0.118 0.000 0.000 0.660

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 57 75 0 146 0 0 52

N.S.

1 1.00 1.00 1.32 0.00 2.56 0.00 0.00 0.91

time (sec)

N/A 0.028 0.054 0.115 0.000 0.112 0.000 0.000 0.599

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 58 166 0 0 0 0 -1

N.S.

1 1.00 1.00 2.86 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.090 0.102 0.153 0.000 0.000 0.000 0.000 0.000

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 206 310 532 0 0 0 0 -1

N.S.

1 1.00 1.50 2.58 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.339 17.498 0.231 0.000 0.000 0.000 0.000 0.000

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

268 268 518 710 0 0 0 0 -1

N.S.

1 1.00 1.93 2.65 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.506 16.526 0.291 0.000 0.000 0.000 0.000 0.000

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

326 326 242 1285 0 687 0 0 -1

N.S.

1 1.00 0.74 3.94 0.00 2.11 0.00 0.00 -0.00

time (sec)

N/A 0.350 1.377 0.298 0.000 0.221 0.000 0.000 0.000

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

257 257 197 743 0 630 0 0 -1

N.S.

1 1.00 0.77 2.89 0.00 2.45 0.00 0.00 -0.00

time (sec)

N/A 0.234 0.989 0.277 0.000 0.188 0.000 0.000 0.000

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

186 186 159 530 0 567 0 0 -1

N.S.

1 1.00 0.85 2.85 0.00 3.05 0.00 0.00 -0.01

time (sec)

N/A 0.150 0.725 0.240 0.000 0.162 0.000 0.000 0.000

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 137 373 0 527 0 0 -1

N.S.

1 1.00 0.81 2.19 0.00 3.10 0.00 0.00 -0.01

time (sec)

N/A 0.122 0.550 0.224 0.000 0.125 0.000 0.000 0.000

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 83 217 0 482 0 0 -1

N.S.

1 1.00 0.78 2.05 0.00 4.55 0.00 0.00 -0.01

time (sec)

N/A 0.046 0.222 0.182 0.000 0.117 0.000 0.000 0.000

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 402 376 0 0 0 0 -1

N.S.

1 1.00 2.28 2.14 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.265 15.459 0.230 0.000 0.000 0.000 0.000 0.000

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

277 277 441 898 0 0 0 0 -1

N.S.

1 1.00 1.59 3.24 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.530 14.217 0.368 0.000 0.000 0.000 0.000 0.000

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

345 345 597 1546 0 0 0 0 -1

N.S.

1 1.00 1.73 4.48 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.716 16.583 0.538 0.000 0.000 0.000 0.000 0.000

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

436 436 272 1688 0 1040 0 0 -1

N.S.

1 1.00 0.62 3.87 0.00 2.39 0.00 0.00 -0.00

time (sec)

N/A 0.575 2.008 0.889 0.000 0.265 0.000 0.000 0.000

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

345 345 237 1295 0 954 0 0 -1

N.S.

1 1.00 0.69 3.75 0.00 2.77 0.00 0.00 -0.00

time (sec)

N/A 0.373 1.680 0.721 0.000 0.198 0.000 0.000 0.000

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

281 281 188 911 0 867 0 0 -1

N.S.

1 1.00 0.67 3.24 0.00 3.09 0.00 0.00 -0.00

time (sec)

N/A 0.249 1.310 0.644 0.000 0.211 0.000 0.000 0.000

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

263 263 175 850 0 814 0 0 -1

N.S.

1 1.00 0.67 3.23 0.00 3.10 0.00 0.00 -0.00

time (sec)

N/A 0.224 1.187 0.598 0.000 0.163 0.000 0.000 0.000

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

243 243 154 746 0 765 0 0 -1

N.S.

1 1.00 0.63 3.07 0.00 3.15 0.00 0.00 -0.00

time (sec)

N/A 0.188 1.034 0.573 0.000 0.153 0.000 0.000 0.000

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 158 489 0 692 0 0 -1

N.S.

1 1.00 0.71 2.21 0.00 3.13 0.00 0.00 -0.00

time (sec)

N/A 0.159 0.955 0.412 0.000 0.150 0.000 0.000 0.000

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

320 320 464 849 0 0 0 0 -1

N.S.

1 1.00 1.45 2.65 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.576 14.861 0.617 0.000 0.000 0.000 0.000 0.000

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

380 380 638 1324 0 0 0 0 -1

N.S.

1 1.00 1.68 3.48 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.736 16.606 0.912 0.000 0.000 0.000 0.000 0.000

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

282 282 189 616 0 985 0 0 -1

N.S.

1 1.00 0.67 2.18 0.00 3.49 0.00 0.00 -0.00

time (sec)

N/A 0.242 1.568 0.618 0.000 0.191 0.000 0.000 0.000

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 81 231 0 136 0 0 -1

N.S.

1 1.00 0.73 2.08 0.00 1.23 0.00 0.00 -0.01

time (sec)

N/A 0.099 0.193 0.164 0.000 0.127 0.000 0.000 0.000

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 70 231 0 128 0 0 78

N.S.

1 1.00 0.90 2.96 0.00 1.64 0.00 0.00 1.00

time (sec)

N/A 0.068 0.093 0.213 0.000 0.106 0.000 0.000 0.090

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 43 155 0 108 0 0 54

N.S.

1 1.00 0.84 3.04 0.00 2.12 0.00 0.00 1.06

time (sec)

N/A 0.035 0.064 0.182 0.000 0.103 0.000 0.000 0.628

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 23 0 54 0 0 39

N.S.

1 1.00 1.00 1.00 0.00 2.35 0.00 0.00 1.70

time (sec)

N/A 0.009 0.036 0.053 0.000 0.097 0.000 0.000 0.573

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 24 138 0 0 0 0 -1

N.S.

1 1.00 1.00 5.75 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.025 0.061 0.127 0.000 0.000 0.000 0.000 0.000

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 158 350 0 0 0 0 -1

N.S.

1 1.00 1.56 3.47 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.164 11.251 0.210 0.000 0.000 0.000 0.000 0.000

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 195 408 0 0 0 0 -1

N.S.

1 1.00 1.42 2.98 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.239 11.344 0.232 0.000 0.000 0.000 0.000 0.000

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 102 254 0 136 0 0 -1

N.S.

1 1.00 0.90 2.25 0.00 1.20 0.00 0.00 -0.01

time (sec)

N/A 0.098 0.186 0.195 0.000 0.122 0.000 0.000 0.000

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 94 232 0 128 0 0 78

N.S.

1 1.00 1.18 2.90 0.00 1.60 0.00 0.00 0.98

time (sec)

N/A 0.070 0.134 0.181 0.000 0.105 0.000 0.000 0.089

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 60 158 0 106 0 0 52

N.S.

1 1.00 1.13 2.98 0.00 2.00 0.00 0.00 0.98

time (sec)

N/A 0.033 0.081 0.184 0.000 0.106 0.000 0.000 0.140

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 44 54 0 52 0 0 39

N.S.

1 1.00 1.83 2.25 0.00 2.17 0.00 0.00 1.62

time (sec)

N/A 0.012 0.046 0.098 0.000 0.090 0.000 0.000 0.570

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 45 139 0 0 0 0 -1

N.S.

1 1.00 1.80 5.56 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.025 0.072 0.139 0.000 0.000 0.000 0.000 0.000

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 179 351 0 0 0 0 -1

N.S.

1 1.00 1.72 3.38 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.167 11.544 0.218 0.000 0.000 0.000 0.000 0.000

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 236 408 0 0 0 0 -1

N.S.

1 1.00 1.69 2.91 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.245 11.936 0.242 0.000 0.000 0.000 0.000 0.000

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 77 290 0 148 0 0 87

N.S.

1 1.00 0.69 2.61 0.00 1.33 0.00 0.00 0.78

time (sec)

N/A 0.055 0.544 0.202 0.000 0.125 0.000 0.000 0.962

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 66 262 0 137 0 0 80

N.S.

1 1.00 0.76 3.01 0.00 1.57 0.00 0.00 0.92

time (sec)

N/A 0.048 0.256 0.180 0.000 0.107 0.000 0.000 0.740

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 53 229 0 125 0 0 53

N.S.

1 1.00 0.87 3.75 0.00 2.05 0.00 0.00 0.87

time (sec)

N/A 0.039 0.122 0.178 0.000 0.108 0.000 0.000 0.653

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 35 152 0 107 0 0 33

N.S.

1 1.00 1.00 4.34 0.00 3.06 0.00 0.00 0.94

time (sec)

N/A 0.028 0.074 0.218 0.000 0.107 0.000 0.000 0.260

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 51 150 0 156 0 0 60

N.S.

1 1.00 0.89 2.63 0.00 2.74 0.00 0.00 1.05

time (sec)

N/A 0.035 0.157 0.185 0.000 0.107 0.000 0.000 0.973

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 65 397 0 175 0 0 87

N.S.

1 1.00 0.78 4.78 0.00 2.11 0.00 0.00 1.05

time (sec)

N/A 0.043 0.445 0.309 0.000 0.111 0.000 0.000 1.231

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 95 502 0 188 0 0 87

N.S.

1 1.00 0.86 4.52 0.00 1.69 0.00 0.00 0.78

time (sec)

N/A 0.053 0.330 0.424 0.000 0.119 0.000 0.000 1.461

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

160 160 113 398 0 195 0 0 135

N.S.

1 1.00 0.71 2.49 0.00 1.22 0.00 0.00 0.84

time (sec)

N/A 0.086 0.818 0.227 0.000 0.124 0.000 0.000 1.044

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 98 362 0 180 0 0 128

N.S.

1 1.00 0.73 2.68 0.00 1.33 0.00 0.00 0.95

time (sec)

N/A 0.077 0.650 0.201 0.000 0.125 0.000 0.000 0.890

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 79 357 0 162 0 0 102

N.S.

1 1.00 0.78 3.53 0.00 1.60 0.00 0.00 1.01

time (sec)

N/A 0.067 0.333 0.210 0.000 0.110 0.000 0.000 1.006

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 64 283 0 147 0 0 76

N.S.

1 1.00 0.89 3.93 0.00 2.04 0.00 0.00 1.06

time (sec)

N/A 0.060 0.179 0.198 0.000 0.112 0.000 0.000 0.941

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 62 202 0 178 0 0 81

N.S.

1 1.00 0.91 2.97 0.00 2.62 0.00 0.00 1.19

time (sec)

N/A 0.060 0.313 0.234 0.000 0.117 0.000 0.000 1.134

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 73 513 0 198 0 0 108

N.S.

1 1.00 0.77 5.40 0.00 2.08 0.00 0.00 1.14

time (sec)

N/A 0.069 0.629 0.342 0.000 0.101 0.000 0.000 1.240

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 124 633 0 223 0 0 113

N.S.

1 1.00 0.92 4.69 0.00 1.65 0.00 0.00 0.84

time (sec)

N/A 0.082 0.404 0.451 0.000 0.113 0.000 0.000 1.385

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 137 470 0 227 0 0 178

N.S.

1 1.00 0.71 2.42 0.00 1.17 0.00 0.00 0.92

time (sec)

N/A 0.157 1.006 0.228 0.000 0.162 0.000 0.000 1.046

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

159 159 110 421 0 205 0 0 146

N.S.

1 1.00 0.69 2.65 0.00 1.29 0.00 0.00 0.92

time (sec)

N/A 0.142 0.795 0.226 0.000 0.148 0.000 0.000 0.938

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 84 412 0 185 0 0 125

N.S.

1 1.00 0.72 3.55 0.00 1.59 0.00 0.00 1.08

time (sec)

N/A 0.127 0.396 0.201 0.000 0.138 0.000 0.000 0.876

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F C F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 86 303 0 214 0 0 124

N.S.

1 1.00 0.69 2.44 0.00 1.73 0.00 0.00 1.00

time (sec)

N/A 0.133 0.569 0.240 0.000 0.135 0.000 0.000 0.930

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 85 630 0 222 0 0 128

N.S.

1 1.00 0.71 5.25 0.00 1.85 0.00 0.00 1.07

time (sec)

N/A 0.136 1.336 0.345 0.000 0.136 0.000 0.000 1.638

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 125 711 0 244 0 0 156

N.S.

1 1.00 0.84 4.77 0.00 1.64 0.00 0.00 1.05

time (sec)

N/A 0.142 0.965 0.469 0.000 0.125 0.000 0.000 1.738

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 177 820 0 270 0 0 147

N.S.

1 1.00 0.91 4.23 0.00 1.39 0.00 0.00 0.76

time (sec)

N/A 0.165 0.810 0.579 0.000 0.140 0.000 0.000 2.001

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 158 552 0 0 0 0 -1

N.S.

1 1.00 1.41 4.93 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.257 12.005 0.227 0.000 0.000 0.000 0.000 0.000

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 81 227 0 0 0 0 -1

N.S.

1 1.00 1.08 3.03 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.106 10.327 0.165 0.000 0.000 0.000 0.000 0.000

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 48 188 0 0 0 0 -1

N.S.

1 1.00 0.91 3.55 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.069 0.081 0.151 0.000 0.000 0.000 0.000 0.000

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 29 150 0 0 0 0 -1

N.S.

1 1.00 1.00 5.17 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.031 0.092 0.143 0.000 0.000 0.000 0.000 0.000

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 195 354 0 0 0 0 -1

N.S.

1 1.00 2.53 4.60 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.159 13.062 0.199 0.000 0.000 0.000 0.000 0.000

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 210 425 0 0 0 0 -1

N.S.

1 1.00 1.64 3.32 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.354 14.525 0.384 0.000 0.000 0.000 0.000 0.000

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

245 245 266 1070 0 0 0 0 -1

N.S.

1 1.00 1.09 4.37 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.461 11.925 0.451 0.000 0.000 0.000 0.000 0.000

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

185 185 251 815 0 0 0 0 -1

N.S.

1 1.00 1.36 4.41 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.298 11.829 0.378 0.000 0.000 0.000 0.000 0.000

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 194 794 0 0 0 0 -1

N.S.

1 1.00 1.19 4.87 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.251 13.588 0.343 0.000 0.000 0.000 0.000 0.000

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 229 713 0 0 0 0 -1

N.S.

1 1.00 1.55 4.82 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.251 13.863 0.333 0.000 0.000 0.000 0.000 0.000

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 238 612 0 0 0 0 -1

N.S.

1 1.00 1.52 3.90 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.272 13.289 0.283 0.000 0.000 0.000 0.000 0.000

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

217 217 278 847 0 0 0 0 -1

N.S.

1 1.00 1.28 3.90 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.436 13.016 0.421 0.000 0.000 0.000 0.000 0.000

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

281 281 294 981 0 0 0 0 -1

N.S.

1 1.00 1.05 3.49 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.642 13.495 0.721 0.000 0.000 0.000 0.000 0.000

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

346 346 354 2194 0 0 0 0 -1

N.S.

1 1.00 1.02 6.34 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.671 13.135 0.823 0.000 0.000 0.000 0.000 0.000

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

282 282 309 1935 0 0 0 0 -1

N.S.

1 1.00 1.10 6.86 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.486 12.924 0.737 0.000 0.000 0.000 0.000 0.000

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

264 264 284 1914 0 0 0 0 -1

N.S.

1 1.00 1.08 7.25 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.502 12.128 0.686 0.000 0.000 0.000 0.000 0.000

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

244 244 272 1836 0 0 0 0 -1

N.S.

1 1.00 1.11 7.52 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.420 11.990 0.671 0.000 0.000 0.000 0.000 0.000

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

250 250 291 1736 0 0 0 0 -1

N.S.

1 1.00 1.16 6.94 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.446 12.920 0.684 0.000 0.000 0.000 0.000 0.000

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F(-1) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

261 261 301 1176 0 0 0 0 -1

N.S.

1 1.00 1.15 4.51 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.504 12.859 0.440 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]